Submodularity

Diminishing returns.

Formula

$$ \begin{aligned} A \subseteq B \subseteq X, &\forall x \in X, \\ f(A \cup \{x\}) - f(A) &\geq f(B \cup \{x\}) - f(B) \end{aligned} $$

by Jon